Nuprl Definition : d-single-rframe
11,40
postcript
pdf
@
i
: only members of
L
read
x
(
j
) == if eqof(IdDeq)(
j
,
i
) then only members of
L
read
x
else fi
latex
Definitions
x
.
A
(
x
)
,
if
b
then
t
else
f
fi
,
f
(
a
)
,
eqof(
d
)
,
IdDeq
,
only members of
L
read
x
,
FDL editor aliases
d-single-rframe
origin
x.A(x)x.A(x)